Methodology to Evaluate the Functionality of Specification Languages
نویسندگان
چکیده
The paper proposes a methodology for evaluation of specification language functionality characteristics. It describes background of the proposed methodology, discusses the methodology in detail, and shortly describes experimental results obtained using the proposed methodology to evaluate the functionality of Z and UML languages.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملAn Investigation into Research Methodology and Research Orientation of the Studies Published in Journal of Teaching Persian to Speakers of Other Languages
---
متن کاملProgrammatic Control of a Compiler for Generating High-performance Spatial Hardware
This methodology paper addresses high-performance highproductivity programming on spatial architectures. Spatial architectures are efficient for executing dataflow algorithms, yet for high-performance programming, the productivity is low and verification is painful. We show that coding and verification are the biggest obstacle to the wide adoption of spatial architectures. We propose a new prog...
متن کاملSpecification and Validation of New Control Algorithms for Electric Drives Using SpecC Language
In the traditional way, developers of new control algorithms validate their studies by simulation using standard language (C, C++, MATLAB, ...). Therefore, designers of the control devices have to translate this specification from the original language (standard language) to the co-design methodology language. This introduces a time/schedule delay. In this work, we propose to use the SpecC lang...
متن کاملINTELECT PROJECT PROPOSAL Compositional Specification and Verification for System-on-chip Design
The main objective of the proposed project is to develop a framework and method for system-onchip design which allows system components to be specified and verified on a level of abstraction which is sufficiently high to allow formal analysis and verification, but at the same time is detailed enough to allow synthesis of efficient implementations. It is the functionality of the components that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Informatica, Lith. Acad. Sci.
دوره 17 شماره
صفحات -
تاریخ انتشار 2006